|
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method〔Hunter, Geoffrey, ''Metalogic: An Introduction to the Metatheory of Standard First-Order Logic'', University of California Press, 1971〕 or effective procedure is a procedure for solving a problem from a specific class. An effective method is sometimes also called mechanical method or procedure. ==Definition== The definition of an effective method involves more than the method itself. In order for a method to be called effective, it must be considered with respect to a class of problems. Because of this, one method may be effective with respect to one class of problems and ''not'' be effective with respect to a different class. A method is formally called effective for a class of problems when it satisfies these criteria: * It consists of a finite number of exact, finite instructions. * When it is applied to a problem from its class: * * It always finishes (''terminates'') after a finite number of steps. * * It always produces a correct answer. * In principle, it can be done by a human without any aids except writing materials. * Its instructions need only to be followed rigorously to succeed. In other words, it requires no ingenuity to succeed.〔The Cambridge Dictionary of Philosophy, ''effective procedure''〕 Optionally, it may also be required that the method never returns a result as if it were an answer when the method is applied to a problem from ''outside'' its class. Adding this requirement reduces the set of classes for which there is an effective method. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「effective method」の詳細全文を読む スポンサード リンク
|